1 search result for "author:"Karl Palmskog""
Showing 1 - 1
-
Serialization library and protocol for machine interaction with the Coq proof assistant8.19.0+0.19.2LGPL-2.1-or-laterUsed by 1 other packages22 Mar 2024